Lightweight higher-kinded Polymorphism
論文
pdf
/herp-technote/Lightweight Higher-kinded Polymorphism
高階型の無い型システム上で
高階多相型
を実現する
fp-ts
とかがこれらしい
https://gist.github.com/gcanti/2b455c5008c2e1674ab3e8d5790cdad5
OCamlの
higher
とか
https://qiita.com/lyrical_logical/items/2d68d378a97ea0da88c0#references
https://dev.classmethod.jp/articles/fp-ts-compsing-monad-by-pipe/